La Logique de la Contradiction.

Contributions à la sémantique de la programmation logique

This work can be split in two parts. First, we present a full formalisation of the semantics of de nite programs, in the calculus of inductive constructions. For this, we describe a formalisation of the proof of rst order terms uni cation obtained from a similar proof dealing with quasi-terms, thus showing in a general setting how partial functions can be considered in a system with total funct...

Complexité de la réduction en logique combinatoire

Approche logique pour la réconciliation de références

Résumé. Le problème de réconciliation de références consiste à décider si deux descriptions provenant de sources distinctes réfèrent ou non à la même entité du monde réel. Dans cet article, nous étudions ce problème quand le schéma des données est décrit en RDFS étendu par certaines primitives de OWL-DL. Nous décrivons et montrons l’intérêt d’une approche logique basée sur des règles de réconci...

Etude sur la digestion pancratique de la caseine pour la production de la toxine tetanique

a la recherche de logique

-